101. Writing testbenches using System Verilog

پدیدآورنده :

کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

موضوع : Computer hardware description languages,Integrated circuits- Verification

رده :
TK7885
.
7
.
B48
2006

102. based design-Assertion

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Integrated circuits ; Very large scale integration ; Design and construction. ; Integrated circuits ; Verification. ; Verilog (Computer hardware description language) ;

103. based scalable formal verification solutions-SAT

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Integrated circuits ; Verification. ;

104. verification of hardware and software for ARM SoC design-Co

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Integrated circuits ; Verification. ; Computer software ; Verification. ; Systems on a chip. ;